Knd  Type 

latex

Definitions	t  T, Knd
Lemmas	IdLnk wf, Id wf